let p' = compose(Chapter5_Product_Example.p, m);
let q' = compose(Chapter5_Product_Example.q, m);
